Semantic unification

#	Item
11	PDF Document Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-16 09:32:31 Rules of inference Automated theorem proving Logic in computer science Logic programming Resolution Datalog Horn clause Unification Semantic reasoner Logic Mathematical logic Mathematics
12	Artificial Intelligence/ Language Processing C. Montgomery Editor Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:58:04 Automated theorem proving Predicate logic Programming paradigms Grammar First-order logic Semantic network Unification Resolution Semantics Logic Mathematics Mathematical logic
13	1 2 Implementing Semantic Theories Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 11:24:11 Programming paradigms Literate programming Logical consequence Functional languages Logic programming Unification Prolog Declarative programming Curry Software engineering Computing Computer programming
14	PDF Document Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Theoretical computer science Rules of inference Formal methods Method of analytic tableaux Lambda calculus Unification Calculus Semantic reasoner Mathematical logic Mathematics Logic